nLab
2-poset of partial maps
Context
Higher category theory
higher category theory
Basic concepts
Basic theorems
Applications
Models
Morphisms
Functors
Universal constructions
Extra properties and structure
1-categorical presentations
Contents
Definition
Given a dagger 2-poset , the 2-poset of partial maps is the sub-2-poset whose objects are the objects of and whose morphisms are the functional morphisms of .
Examples
See also
Last revised on July 6, 2023 at 18:07:39.
See the history of this page for a list of all contributions to it.